mapLoopTest is package {
  comp(H1, H2) do {
    var counter := 0;
    
    for(K1->V1 in H1) do {
      logMsg(info, "Loop beginning");
      if (K1->V2 in H2) then {
        nothing;
      } else {
        counter := counter+1;
        logMsg(info, "Not present $K1");
      }
      logMsg(info, "Loop end: $counter");
      assert counter=1;
    }
  }

  main() do {
    H1 is hash{"A"->"0"};
    H2 is hash{"C"->"0";"D"->"1";"C"->"2"};
    comp(H1, H2);
  }
}